1,873 research outputs found

    Visualization of electrical machines

    Full text link
    В докладе "Визуализация процессов в электрических машинах" рассмотрены вопросы визуализации электромагнитных процессов в электрических машинах с помощью компьютерной анимации на основе пакета 3D STUDIO МАХ. Работа выполнена Уральским государственным техническим университетом (Россия) совместно с Гентским университетом (Бельгия) в рамках проекта URALELECTR

    Digital terrain modelling using triangulated irregular networks (poster)

    Get PDF
    Many marine scientists and users of the sea consider knowledge of the sea bottom as basic data, a mere context to carry out research or deploy activities. Some disciplines do need more accurate bathymetric data than others, depending on depth values being background information or crucial information for their research or activities. In bathymetry, the representation of the sea bottom surface is the main objective and hence, this discipline will try to render the sea bottom relief as accurate as possible. The latest bathymetric sounding equipment that is available nowadays, especially the multibeam echosounder, yield a very dense bottom sampling. When compared to the common singlebeam echosounder, an enormous amount of data is produced that needs to be processed in a correct and fast way. Grid-overlay (by local linear or more sophisticated interpolation and attributing values to individual grid cells) is not an option here as this method uses an interpolation of the measured values and hence will either cause accuracy loss or generate a still larger amount of data. A triangular irregular network (TIN for short), especially the Delaunay triangulation (Dt), does respect the actual measurements and will not generate new data. In literature, a number of algorithms have been developed that determine the Dt of a set of points (vertices) given in the plane.A performant divide-and-conquer algorithm for Delaunay triangulations was implemented to triangulate large quantities of data in minimum time. Comparison with other implemented algorithms demonstrates its excellent performance.In some cases, it will be necessary to adapt the terrain model. Theoretical terrain models (for instance design models for marine contractors) require manual interventions, while new surveys partially overlapping old data will have to replace the latter. Therefore, the incremental algorithm has been adapted to allow insertion of individual points. When eliminating individual vertices, the hole thus created has to be retriangulated. Vertices belonging to a triangulation that is (partially) covered by a new surveyed area can be eliminated and using a very keen adaptation of the divide-and-conquer principle, the overlapping triangulations can be stitched together. This is a novel technique with the big advantage of quickly and seamlessly joining two large triangulations, without the need for retriangulation of the entire area.Part of the immense amount of data generated by a multibeam echosounder will unavoidably be redundant. An important issue therefore will be: filtering these data, keeping those points that still assure an optimal accuracy. This accuracy can be expressed as a function of the topography or as a function of the volume. For the latter, not the height difference determines whether or not a vertex is allowed in the triangulation, the criterion is rather the change in volume caused by this one vertex. For marine contractors, it is mainly the latter that is important. A hybrid model would be most adequate

    Antichain Algorithms for Finite Automata

    Get PDF
    We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability problems. Antichains are more succinct than the sets of states manipulated by the traditional fixpoint algorithms. The theory justifies the correctness of the antichain algorithms, and applications such as the universality problem for finite automata illustrate efficiency improvements. Finally, we show that new and provably better antichain algorithms can be obtained for the emptiness problem of alternating automata over finite and infinite words

    Qualitative Analysis of Partially-observable Markov Decision Processes

    Get PDF
    We study observation-based strategies for partially-observable Markov decision processes (POMDPs) with omega-regular objectives. An observation-based strategy relies on partial information about the history of a play, namely, on the past sequence of observations. We consider the qualitative analysis problem: given a POMDP with an omega-regular objective, whether there is an observation-based strategy to achieve the objective with probability~1 (almost-sure winning), or with positive probability (positive winning). Our main results are twofold. First, we present a complete picture of the computational complexity of the qualitative analysis of POMDP s with parity objectives (a canonical form to express omega-regular objectives) and its subclasses. Our contribution consists in establishing several upper and lower bounds that were not known in literature. Second, we present optimal bounds (matching upper and lower bounds) on the memory required by pure and randomized observation-based strategies for the qualitative analysis of POMDP s with parity objectives and its subclasses

    Imaging of electric and magnetic fields near plasmonic nanowires

    Get PDF
    Near-field imaging is a powerful tool to investigate the complex structure of light at the nanoscale. Recent advances in near-field imaging have indicated the possibility for the complete reconstruction of both electric and magnetic components of the evanescent field. Here we study the electro-magnetic field structure of surface plasmon polariton waves propagating along subwavelength gold nanowires by performing phase- and polarization-resolved near-field microscopy in collection mode. By applying the optical reciprocity theorem, we describe the signal collected by the probe as an overlap integral of the nanowire’s evanescent field and the probe’s response function. As a result, we find that the probe’s sensitivity to the magnetic field is approximately equal to its sensitivity to the electric field. Through rigorous modeling of the nanowire mode as well as the aperture probe response function, we obtain a good agreement between experimentally measured signals and a numerical model. Our findings provide a better understanding of aperture-based near-field imaging of the nanoscopic plasmonic and photonic structures and are helpful for the interpretation of future near-field experiments

    Imaging of electric and magnetic fields near plasmonic nanowires.

    Full text link
    Near-field imaging is a powerful tool to investigate the complex structure of light at the nanoscale. Recent advances in near-field imaging have indicated the possibility for the complete reconstruction of both electric and magnetic components of the evanescent field. Here we study the electro-magnetic field structure of surface plasmon polariton waves propagating along subwavelength gold nanowires by performing phase- and polarization-resolved near-field microscopy in collection mode. By applying the optical reciprocity theorem, we describe the signal collected by the probe as an overlap integral of the nanowire's evanescent field and the probe's response function. As a result, we find that the probe's sensitivity to the magnetic field is approximately equal to its sensitivity to the electric field. Through rigorous modeling of the nanowire mode as well as the aperture probe response function, we obtain a good agreement between experimentally measured signals and a numerical model. Our findings provide a better understanding of aperture-based near-field imaging of the nanoscopic plasmonic and photonic structures and are helpful for the interpretation of future near-field experiments
    corecore